package ar.uba.dc.tlen.src.symbols;

import java.util.TreeSet;

import ar.uba.dc.tlen.src.production.Produccion;

public class NoTerminal extends Caracter{

	private TreeSet<Produccion> partesDerecha;

	public NoTerminal(String nombre) {
		super(nombre);
		partesDerecha= new TreeSet<Produccion>();
	}
	public TreeSet<Produccion> getPartesDerecha() {
		return partesDerecha;
	}
	public void setPartesDerecha(TreeSet<Produccion> partesDerecha) {
		this.partesDerecha = partesDerecha;
	}
	
}
